A fixed point theory over stratified truth
نویسندگان
چکیده
منابع مشابه
Supervaluation Fixed-Point Logics of Truth
Abstract. Michael Kremer defines fixed-point logics of truth based on Saul Kripke’s fixed point semantics for languages expressing their own truth concepts. Kremer axiomatizes the strong Kleene fixed-point logic of truth and the weak Kleene fixed-point logic of truth, but leaves the axiomatizability question open for the supervaluation fixed-point logic of truth and its variants. We show that t...
متن کاملAn intensional fixed point theory over first order arithmetic
The purpose of this article is to present a new theory IPA(σ) for fixed points over arithmetic which allows the building up of fixed points in a very nested and entangled way. But in spite of its great expressive power we can show that the proof-theoretic strength of our theory – which is intensional in a meaning to be described below – is characterized by the Feferman-Schütte ordinal Γ0. Our a...
متن کاملRelative Fixed Point Theory
The Lefschetz fixed point theorem and its converse have many generalizations. One of these generalizations is to endomorphisms of a space relative to a fixed subspace. In this paper we define relative Lefschetz numbers and Reidemeister traces using traces in bicategories with shadows. We use the functoriality of this trace to identify different forms of these invariants and to prove a relative ...
متن کاملA Note on Equivariant Fixed Point Theory
be found in all classical books on the subject (for example in [4, 44]). For every x ∈ X the isotropy subgroup (also termed fixer or stabilizer) of x is Gx = {g ∈ G : gx = x}. If H ⊂ G is a subgroup of G, then the space fixed by H in X is X = {x ∈ X : Hx = x} = {x ∈ X : H ⊂ Gx}. If X and Y are G-spaces, then a G-map (i.e. an equivariant map) f : X → Y is a map which commutes with the G-action: ...
متن کاملA New Method in Fixed Point Theory
EÎ'(X, A) = Ê\T, H\X, A)) where H denotes the Tate cohomology ofir [l, Chapter 12 ] and H'(X, A) is the jth Cech cohomology group of (X, A) with arbitrary coefficients and with w action induced by that on X. The term Ew is the graded module associated with a certain filtered module J*(XyA). This sequence is natural with respect to ir-equivariant maps of (X, A). If w acts trivially on X, the seq...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2020
ISSN: 0942-5616,1521-3870
DOI: 10.1002/malq.201900064